Searching for halving explained